-type type1() :: ok.